Introduction to Homotopy Type Theory
https://arxiv.org/abs/2212.11082
2023.05.11